cc85dd6bc631c53239c5c107f8aeff7532fd439a,findbugs/src/java/edu/umd/cs/findbugs/ba/CFG.java,CFG,getSuccessorWithEdgeType,#BasicBlock#number#,241

Before Change


		while (i.hasNext()) {
			Edge edge = i.next();
			if (edge.getType() == edgeType)
				return edge.getDest();
		}
		return null;
	}

After Change


	 *   the specified edge type
	 */
	public BasicBlock getSuccessorWithEdgeType(BasicBlock source, int edgeType) {
		Edge edge = getOutgoingEdgeWithType(source, edgeType);
		return edge != null ? edge.getDest() : null;
	}

	/**